Capacitability and determinacy
نویسندگان
چکیده
منابع مشابه
On capacitability and measurability
© Annales de l’institut Fourier, 1963, tous droits réservés. L’accès aux archives de la revue « Annales de l’institut Fourier » (http://annalif.ujf-grenoble.fr/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier...
متن کاملDeterminacy and determinacy analysis
One attractive, unique feature of logic programming languages is their ability to succinctly and declaratively express search. The alternatives of a search can be speci ed by a set of clauses de ning the same predicate. By backtracking, considering in turn each of these clauses, the di erent alternatives are explored until a solution (if it exists) is found. However, though backtracking is esse...
متن کاملDeterminacy and ∆
Let D = {d n } be a countable collection of ∆ 1 3 degrees. Assuming that all co-analytic games on integers are determined (or equivalently that all reals have " sharps "), we prove that either D has a ∆ 1 3-minimal upper bound, or that for any n, and for every real r recursive in d n , games in the pointclasses ∆ 1 2 (r) are determined. This is proven using Core Model theory.
متن کاملLarge Cardinals and Determinacy
The developments of set theory in 1960’s led to an era of independence in which many of the central questions were shown to be unresolvable on the basis of the standard system of mathematics, ZFC. This is true of statements from areas as diverse as analysis (“Are all projective sets Lebesgue measurable?”), cardinal arithmetic (“Does Cantor’s Continuum Hypothesis hold?”), combinatorics (“Does Su...
متن کاملDeterminacy and Large Cardinals
The principle of determinacy has been crucial to the study of definable sets of real numbers. This paper surveys some of the uses of determinacy, concentrating specifically on the connection between determinacy and large cardinals, and takes this connection further, to the level of games of length ω1. Mathematics Subject Classification (2000). 03E55; 03E60; 03E45; 03E15.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1979
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-102-3-195-202